Abstract machine - PDFSEARCH.IO - Document Search Engine

Abstract machine
Results: 823

#	Item
231	Towards Execution Time Estimation in Abstract Machine-Based Languages ∗ E. Mera 1 1 Complutense University of Madrid Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2008-07-04 09:38:08 Compiler construction Virtual machines Software optimization Bytecode Java bytecode Warren Abstract Machine Profiling Interpreter Worst-case execution time Computing Software Programming language implementation
232	INTERNATIONAL TELECOMMUNICATION UNION STUDY GROUP 17 TELECOMMUNICATION STANDARDIZATION SECTOR Add to Reading List Source URL: www.pragmadev.com Language: English - Date: 2009-11-13 10:44:47 Data modeling Formal methods Finite-state machine Unified Modeling Language Abstract Syntax Notation One Diagrams Specification and Description Language Software engineering
233	Abstract: One of the main goals of bounded rationality models is to understand the limitations of agent’s abilities in building representations of strategic situations as maximization problems and in solving these pr Add to Reading List Source URL: ogossner.free.fr Language: English - Date: 2005-10-17 11:51:33 Turing machine Computability theory Models of computation Alan Turing Computational complexity theory Algorithm NP PP Computability Theoretical computer science Applied mathematics Computer science
234	Integrated Logic Systems Part 1: Deduction Systems This part is concerned with the design and use of various deduction systems: Prolog Tableaux-Prover Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-01-04 14:04:47 Computer programming Prolog Warren Abstract Machine Unification Backtracking Answer set programming B-Prolog Logic programming Software engineering Computing
235	Title Extreme Learning Machines: Towards Hierarchy Learning of Big Data and Fundamental to Real-Time Cognition and Reasoning by Guang-Bin Huang, Nanyang Technological University, Singapore Abstract Neural networks (NN) a Add to Reading List Source URL: bigdataclouds.org Language: English - Date: 2015-01-14 04:18:19 Science Neuroscience Learning Machine learning Neural network Support vector machine Nanyang Technological University Cybernetics Statistics Computational neuroscience
236	1510 IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, Exploration of Shape Variation Using Localized Components Analysis Add to Reading List Source URL: pages.nycep.org Language: English - Date: 2011-12-21 17:00:05 Linear algebra Abstract algebra Multivariate statistics Data analysis Singular value decomposition Principal component analysis Morphometrics Eigenvalues and eigenvectors Vector Algebra Mathematics Statistics
237	-147320175260Recruit and select interns for ASML 00Recruit and select interns for ASML INTERNSHIP: 29083005763260Field: HRM Contact: Telephone: + Add to Reading List Source URL: www.inputenoutput.nl Language: English - Date: 2015-04-17 05:33:35 Internship Abstract State Machine Language Education Learning Veldhoven
238	On Pebble Automata for Data Languages with Decidable Emptiness ProblemI,II Tony Tan School of Informatics, University of Edinburgh Abstract Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Computer science Pebble automaton Regular language Turing machine Linear temporal logic Ω-automaton Automata theory Theory of computation Theoretical computer science
239	Mining Regional Knowledge in Spatial Datasets Wei Ding Christoph. F. Eick Computer Science Department, University of Houston, TX {wding, ceick}@uh.edu Abstract Add to Reading List Source URL: www.cs.umb.edu Language: English - Date: 2008-07-16 17:41:23 Geostatistics Multivariate statistics Cluster analysis Machine learning Association rule learning Spatial database Geographic information system Statistics Data mining Data analysis
240	Uniform Distributed Synthesis Bernd Finkbeiner and Sven Schewe Universit¨at des Saarlandes Abstract Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:40:44 Ω-automaton Finite-state machine Papyrus 1 Automata theory Models of computation Symbol

UPDATE